Logic for programming and automated reasoning - 6th International Conference, LPAR '99, Tbilisi, Georgia, September 6-10, 1999 : proceedings
- Författare
- Harald Ganzinger International Conference on Logic for Programming and Automated Reasoning 1999) Tbilisi :
- (Harald Ganzinger ..., (eds.).)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 1999 | Tyskland, Berlin | xii, 395 s |